Representation of Temporal Knowledge in the Situation Calculus
نویسندگان
چکیده
In this article we deal with the problem of using temporal knowledge in the specification of the dynamics of a database. Temporal knowledge is formalized with formulas that refer to the evolution of the database. In the article we analyze several problems involving temporal knowledge: (1) Specification of complex temporal preconditions for database transactions. (2) Specification and maintenance of integrity constraints. (3) Posing and answering temporal queries about the real or hypothetical evolution of the database. Our research is based on two logical languages that have been developed in parallel: The Situation Calculus, a logical language developed to represent knowledge about action and change [8]. The Situation Calculus has been used as a medium for the specification of database updates [14], and our work is a further development of this approach. The Metric Time Temporal Logic, a first order modal temporal logic, has been used ... Subject Category: Knowledge Representation in Databases.
منابع مشابه
Inductive Situation Calculus
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus in ID-logic, classical logic extended with Inductive Definitions. This logic has been proposed recently and is an extension of classical logic. It allows for a uniform representation of various forms of definitions, including mono...
متن کاملTemporal Representation and Reasoning
This book is about representing knowledge in all its various forms. Yet, whatever phenomenon we aim to represent, be it natural, computational, or abstract, it is unlikely to be static. The natural world is always decaying or evolving. Thus, computational processes, by their nature, are dynamic, and most abstract notions, if they are to be useful, are likely to incorporate change. Consequently,...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملAction Theories in Temporal Databases
Reasoning about action and change has been one of the main research themes of the knowledge representation and planning communities of the last years Action theories providing an axiomatic basis for managing change are applicable to a wide area of disciplines including software engi neering cognitive robotics and data knowledge base systems In this paper we review action theories proposed for r...
متن کاملOrganization of Gatekeeping and Mental Framework in the System of Representation and Hierarchical Relational Structures of the Modern Society
Critical discourse analysis as a type of social practice reveals how linguistic choices enable speakers to manipulate the realizations of agency and power in the representation of action.The present study examines the relationship between language and ideology and explores how such a relationship is represented in the analysis of spoken text and to show how declarative knowledge, beliefs, attit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998